検索トップページ
ブックマーク一覧
HOME
ヘルプ
目録検索結果一覧
絞込項目
蔵書検索
他大学蔵書検索
論文検索
IRDB
国立国会図書館サーチ
群馬県内図書館横断検索
NII検索
検索条件
和洋区分
図 書
雑 誌
件名=
Logic Symbolic and mathematical
全資料
12件
0件
キーワード
タイトル
著者名
出版者
ISBN/ISSN
件名
出版年
NACSIS ID
漢字を標準化して検索
(異体字を意識せずに検索する場合はチェックを入れて検索してください。
異体字をそのまま検索する場合はチェックを外してください。)
--
タイトル
タイトルカナ
著者名
出版者
出版年
昇順
降順
図書一覧
該当件数:
12件
ページ:
1
 
ページ選択
ページ解除
全件選択
全件解除
書誌事項
1
Mass terms and model-theoretic semantics / Harry C. Bunt ; pbk. -- Cambridge University Press, 1985. -- (Cambridge studies in linguistics ; 42).
2
L'herméneutique formelle : l'infini, le contenu, l'espace / Jean-Michel Salanskis. -- Klincksieck, c2013, 2013. -- (Continents philosophiques ; 8).
3
Language and grammar : studies in mathematical linguistics and natural language / edited by C. Casadio, P.J. Scott, and R.A.G. Seely ; : hbk, : pbk. -- CSLI Publications, 2005. -- (CSLI lecture notes ; no. 168).
4
Introduction to mathematical logic / Elliott Mendelson. -- 4th ed. -- Chapman & Hall, 1997.
5
Logic and structure / Dirk van Dalen ; : pbk. -- 4th ed. -- Springer, 2004. -- (Universitext).
6
Past, present and future / by Arthur Prior. -- Clarendon Press, 1967.
7
Elementary logic / Benson Mates. -- 2nd ed. -- Oxford University Press, 1972.
8
Selections from the Third Groningen Round Table / edited by Frank Heny, Helmut S. Schnelle. -- Academic Press, 1979. -- (Syntax and semantics / edited by John P. Kimball ; v. 10).
9
Tense and tense logic / by John E. Clifford. -- Mouton, 1975. -- (Janua linguarum ; Series minor, 215).
10
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox / edited, with annotations and an introd., by William Warren Bartley, III ; : pbk. -- C.N. Potter : distributed by Crown Publishers, 1977.
11
Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt ; : us, : gw. -- Springer-Verlag, 1973. -- (Universitext).
12
Introduction to logic : propositional logic / Howard Pospesel ; with an appendix on metatheory by William G. Lycan ; :pbk.. -- 3rd ed. -- Prentice Hall, 1998.
 
ページ選択
ページ解除
全件選択
全件解除
書誌事項
ページ:
1
雑誌タイトル一覧
該当件数:
0件
ページ:
--
このページのデータはありません。
ページ:
--